// Copyright (C) 2008 Taylor L. Riche <riche@cs.utexas.edu>
//  
// This program is free software; you can redistribute it and/or modify
// it under the terms of the GNU General Public License as published by
// the Free Software Foundation; either version 2 of the License, or
// (at your option) any later version.
// 
// This program is distributed in the hope that it will be useful,
// but WITHOUT ANY WARRANTY; without even the implied warranty of
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
// GNU General Public License for more details.
// 
// You should have received a copy of the GNU General Public License
// along with this program; if not, write to the Free Software 
// Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
//

/**
 * 
 */
package syscomp.entities;

import java.net.URI;

import core.CodeGenerator;
import core.Entity;

/**
 * @author riche
 *
 */
public class Timer extends Entity {
	
	/* (non-Javadoc)
	 * @see core.Entity#generateCode(core.CodeGenerator)
	 */
	@Override
	public void generateCode(CodeGenerator cg) {
		// 
		
	}

	private final String name;
	private final String coreType;
	private final URI fileLocation;
	private final String start;
	private final String stop;

	public static Timer create(String n, String ct, URI fl, String st, String sp) {
		return new Timer(n, ct, fl, st, sp);
	}
	
	/**
	 * @param name
	 * @param coreType
	 * @param fileLocation
	 * @param start
	 * @param stop
	 */
	private Timer(String name, String coreType, URI fileLocation, String start, String stop) {
		this.name = name;
		this.coreType = coreType;
		this.fileLocation = fileLocation;
		this.start = start;
		this.stop = stop;
	}

	/**
	 * @return the coreType
	 */
	public String getCoreType() {
		return coreType;
	}

	/**
	 * @return the fileLocation
	 */
	public URI getFileLocation() {
		return fileLocation;
	}

	/**
	 * @return the start
	 */
	public String getStart() {
		return start;
	}

	/**
	 * @return the stop
	 */
	public String getStop() {
		return stop;
	}

	/**
	 * @return the name
	 */
	public String getName() {
		return name;
	}
	
	

}
